2261. Test pattern generation using Boolean proof engines
Author: / by Rolf Drechsler ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Integrated circuits--Verification,Computer software--Verification,Computer algorithms.,Algebra, Boolean.
Classification :
TK
,
7874
.
58
,.
T47
,
2009
2262. Test pattern generation using Boolean proof engines
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
2263. Testing and tuning market trading systems :
Author: Timothy Masters.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
73
.
C153
2264. The Amazing Journey of Reason
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
2265. The Design and analysis parallel alogrithms
Author: / Selim G, Aki
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Parallel processing (Electronic computers),Computer algorithms
Classification :
QA
76
.
58
.
A4D4
2266. The Design and analysis parallel alogrithms
Author: / Selim G, Aki
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Parallel processing (Electronic computers),Computer algorithms
Classification :
QA
76
.
58
.
A4D4
2267. The Desin and analysis of parallel algorithms
Author: Akl, Selim G.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Parallel programming )Computer science(,، Algorithms
Classification :
QA
76
.
6
.
A38
1989
2268. The Lanczos method :
Author: Louis Komzsik
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms,Computer science-- Mathematics,Eigenvalues,Numerical analysis
Classification :
QA76
.
9
.
M35
K66
2003
2269. The Lanczos method : evolution and application
Author: Komzsik, Louis
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Mathematics ► Numerical analysis ► Computer algorithms
Classification :
004
K81i
2270. The Lanczos method: evolution and application
Author: Komzsik, Louis
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Mathematics ، Computer science,، Numerical analysis,، Computer algorithms,، Eigenvalues
Classification :
QA
76
.
9
.
M35
K66
2271. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
2272. The Macintosh bible /
Author: Sharon Zardetto Aker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
Classification :
QA76
.
8
.
M3
A4368
1998
2273. The Mathematica GuideBook for Programming
Author: by Michael Trott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science.
2274. The P=NP question and Geodel's lost letter
Author: Richard J. Lipton
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
Classification :
QA
،
9
.
65
،.
L57
،
2010
2275. The P=NP question and Geodel's lost letter
Author: / Richard J. Lipton
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
Classification :
E-BOOK
2276. The Traveling Salesman Problem and Its Variation
Author: / edited by Gregory Gutin, Abraham P. Punnen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Computational complexity.,Algorithms.,Mathematical optimization.
Classification :
QA
,
76
.
9
,.
M35
2277. The algorithm design manual
Author: Skiena, Steven S.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Computer algorithms
Classification :
QA
76
.
9
.
A43
S55
2008
2278. The algorithm design manual
Author: Skiena, Steven S.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer algorithms
Classification :
QA
76
.
9
.
A43
S55
1998
2279. The algorithm design manual
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer algorithms. ;
2280. The algorithm design manual
Author: Skiena, Steven S
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer algorithms
Classification :
QA
76
.
9
.
A43
.
S55
1998
